|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 125 occurrences of 91 keywords
|
|
|
Results
Found 174 publication records. Showing 174 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Rod Moten, Kemafor Anyanwu-Ogan, Sahibi Miranshah |
Implementing graph grammars for intelligence analysis in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.01081, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
24 | Benoît Vaugon, Philippe Wang, Emmanuel Chailloux |
Programming Microcontrollers in OCaml: The OCaPIC Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings, pp. 132-148, 2015, Springer, 978-3-319-19685-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Raphael Poss |
Haskell for OCaml programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.3072, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Mathias Bourgoin, Emmanuel Chailloux |
GPGPU Composition with OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARRAY@PLDI ![In: ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, Edinburgh, United Kingdom, June 12-13, 2014, pp. 32-37, 2014, ACM, 978-1-4503-2937-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Prabhakar Ragde |
OCaml from the Very Beginning, by John Whitington, Coherent Press, 2013, £ 25.99, US $37.99. ISBN-10: 0957671105 (paperback), 204 pp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 23(3), pp. 352-354, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Yaron Minsky, Anil Madhavapeddy, Jason Hickey |
Real World OCaml - Functional Programming for the Masses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
24 | Xavier Clerc |
OCaml-Java: an ML implementation for the Java ecosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Stuttgart, Germany, September 11-13, 2013, pp. 45-56, 2013, ACM, 978-1-4503-2111-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Mathias Bourgoin, Emmanuel Chailloux, Jean Luc Lamotte |
Spoc: GPGPU Programming through Stream Processing with OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 22(2), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Marco Danelutto, Roberto Di Cosmo |
A "Minimal Disruption" Skeleton Experiment: Seamless Map & Reduce Embedding in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Proceedings of the International Conference on Computational Science, ICCS 2012, Omaha, Nebraska, USA, 4-6 June, 2012, pp. 1837-1846, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Oleg Kiselyov |
Delimited control in OCaml, abstractly and concretely. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 435, pp. 56-76, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Marcell Fischbach, Benedikt Meurer |
Towards a native toplevel for the OCaml language ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1110.1029, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
24 | Yaron Minsky |
OCaml for the masses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 54(11), pp. 53-58, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Yaron Minsky |
OCaml for the Masses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 9(9), pp. 43, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume Von Tokarski |
Real-Time Monitoring of Ocaml programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud. Inform. Univ. ![In: Stud. Inform. Univ. 9(1), pp. 159-185, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
24 | Frédéric Chyzak, Alexis Darrasse |
Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011, pp. 259-265, 2011, ACM, 978-1-4503-0865-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Benedikt Meurer |
Just-In-Time compilation of OCaml byte-code ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1011.6223, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Oleg Kiselyov |
Delimited Control in OCaml, Abstractly and Concretely: System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings, pp. 304-320, 2010, Springer, 978-3-642-12250-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Maxence Guesdon |
Fouille au code OCaml par analyse de dépendances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud. Inform. Univ. ![In: Stud. Inform. Univ. 7(2), pp. 195-224, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Maxence Guesdon |
Fouille au code OCaml par analyse de dépendances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFLA ![In: JFLA 2009, Vingtièmes Journées Francophones des Langages Applicatifs, Saint Quentin sur Isère, France, January 31 - February 3, 2009. Proceedings, pp. 445-476, 2009, 978-2-7056-6917-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak |
Opis: reliable distributed systems in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009, pp. 65-78, 2009, ACM, 978-1-60558-420-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributed systems, model checking, functional programming, arrows |
24 | David Teller, Arnaud Spiwack, Till Varoquaux |
Catch Me If You Can - Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages - 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers, pp. 249-271, 2008, Springer, 978-3-642-24451-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Alain Frisch |
OCaml + XDuce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAN-X ![In: PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, USA, January 14, 2006, pp. 36-48, 2006, BRICS, Department of Computer Science, University of Aarhus. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
15 | Tachio Terauchi |
Dependent types from counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 119-130, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
interpolation, type inference, dependent types, counterexamples, intersection types |
15 | Andreas Rossberg, Claudio V. Russo, Derek Dreyer |
F-ing modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010, pp. 89-102, 2010, ACM, 978-1-60558-891-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
first-class modules, ml modules, type systems, abstract data types, system f, existential types, elaboration |
15 | Siliang Li, Gang Tan |
Finding bugs in exceptional situations of JNI programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009, pp. 442-452, 2009, ACM, 978-1-60558-894-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
static analysis, taint analysis, java native interface |
15 | Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia |
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 668-674, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Anil Madhavapeddy |
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 446-465, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | John Harrison 0001 |
HOL Light: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings, pp. 60-66, 2009, Springer, 978-3-642-03358-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Berghofer, Lukas Bulwahn, Florian Haftmann |
Turning Inductive into Equational Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings, pp. 131-146, 2009, Springer, 978-3-642-03358-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Guy L. Steele Jr. |
Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 1-2, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
associative operator, conjugate transform, tree, reduction, monoid |
15 | Sebastian Fischer 0001, Oleg Kiselyov, Chung-chieh Shan |
Purely functional lazy non-deterministic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 11-22, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
call-time choice, continuations, monads, side effects |
15 | Avik Chaudhuri |
A concurrent ML library in concurrent Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 269-280, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
concurrent haskell, distributed synchronization protocol, synchronization abstractions, pi calculus, concurrent ML |
15 | Rajeev Goré, Florian Widmann |
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 437-452, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala |
Type-based data structure verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 304-315, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
hindley-milner, type inference, dependent types, predicate abstraction |
15 | Rajeev Goré, Florian Widmann |
Sound Global State Caching for ALC with Inverse Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings, pp. 205-219, 2009, Springer, 978-3-642-02715-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp |
Tyrolean Termination Tool 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings, pp. 295-304, 2009, Springer, 978-3-642-02347-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
automation, termination, term rewriting |
15 | Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu |
A Rewriting Logic Approach to Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 135-151, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Klaus Havelund |
Runtime Verification of C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 7-22, 2008, Springer, 978-3-540-68514-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sam Lindley |
Many holes in hindley-milner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, pp. 59-68, 2008, ACM, 978-1-60558-062-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
indexed type, multi-holed context, phantom type, value restriction, dependent type |
15 | Leonardo Gaetano Mezzina |
How to Infer Finite Session Types in a Calculus of Services and Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings, pp. 216-231, 2008, Springer, 978-3-540-68264-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin |
Formal correctness of conflict detection for firewalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007, pp. 22-30, 2007, ACM, 978-1-59593-887-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
firewall, coq |
15 | Richard Bonichon, David Delahaye, Damien Doligez |
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings, pp. 151-165, 2007, Springer, 978-3-540-75558-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mark Samuel Miller |
Tradeoffs in retrofitting security: an experience report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 2007 Symposium on Dynamic Languages, DLS 2007, October 22, 2007, Montreal, Quebec, Canada, pp. 1, 2007, ACM, 978-1-59593-868-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
object-capability, security, access control, language |
15 | Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo |
Tree Components Programming: An Application to XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 139-153, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
web programming language, tree components, XML, static typing |
15 | Emilena Specht, Ricardo Miotto Redin, Luigi Carro, Luís da Cunha Lamb, Érika F. Cota, Flávio Rech Wagner |
Analysis of the use of declarative languages for enhanced embedded system software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2007, Copacabana, Rio de Janeiro, Brazil, September 3-6, 2007, pp. 324-329, 2007, ACM, 978-1-59593-816-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
embedded software, modeling languages, system level modeling, system level synthesis |
15 | David Baelde, Andrew Gacek, Dale Miller 0001, Gopalan Nadathur, Alwen Tiu |
The Bedwyr System for Model Checking over Syntactic Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 391-397, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | George Kuan, David MacQueen |
Efficient type inference using ranked type variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, pp. 3-14, 2007, ACM, 978-1-59593-676-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
algorithm W, compilers, functional programming, type inference, type checking, standard ML |
15 | Anil Madhavapeddy, Alex Ho, Tim Deegan, David J. Scott, Ripduman Sohan |
Melange: creating a "functional" internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, pp. 101-114, 2007, ACM, 978-1-59593-636-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | John Regehr, Usit Duongsaa |
Deriving abstract transfer functions for analyzing embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006, pp. 34-43, 2006, ACM, 1-59593-362-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, embedded software, transfer functions |
15 | Oleg Kiselyov, Chung-chieh Shan, Amr Sabry |
Delimited dynamic binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 26-37, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
monads, dynamic binding, delimited continuations |
15 | Vincent Balat |
Ocsigen: typing web interaction with objective Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, pp. 84-94, 2006, ACM, 1-59593-483-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
continuations, web programming, objective Caml |
15 | Jean-Christophe Filliâtre, Sylvain Conchon |
Type-safe modular hash-consing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, pp. 12-19, 2006, ACM, 1-59593-483-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hash-consing, data structures, sharing |
15 | Vlad Tanasescu, Pawel T. Wojciechowski |
Role-Based Declarative Synchronization for Reconfigurable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings, pp. 52-66, 2005, Springer, 3-540-24362-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Sandrine Blazy, Xavier Leroy |
Formal Verification of a Memory Model for C-Like Imperative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, pp. 280-299, 2005, Springer, 3-540-29797-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Tom Ridge, James Margetson |
A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings, pp. 294-309, 2005, Springer, 3-540-28372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Jacques Carette, Oleg Kiselyov |
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings, pp. 256-274, 2005, Springer, 3-540-29138-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani |
An Abstract Machine for the Kell Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, pp. 31-46, 2005, Springer, 3-540-26181-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Mathew Zaleski, Marc Berndl, Angela Demke Brown |
Mixed mode execution with context threading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative Research, October 17-20, 2005, Toronto, Ontario, Canada, pp. 305-319, 2005, IBM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu |
Extracting a Data Flow Analyser in Constructive Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 385-400, 2004, Springer, 3-540-21313-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli |
A Generative Approach to the Implementation of Language Bindings for the Document Object Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings, pp. 469-487, 2004, Springer, 3-540-23580-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Grzegorz Andruszkiewicz, Krzysztof Ciebiera, Marcin Gozdalik, Cezary Kaliszyk, Mateusz Srebrny |
SIE - Intelligent Web Proxy Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings, pp. 373-385, 2004, Springer, 3-540-22511-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Sprenger 0001, Krzysztof Worytkiewicz |
A Verification Methodology for Infinite-State Message Passing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings, pp. 255-264, 2003, IEEE Computer Society, 0-7695-1923-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Walid Taha |
A Gentle Introduction to Multi-stage Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain-Specific Program Generation ![In: Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers, pp. 30-50, 2003, Springer, 3-540-22119-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy |
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings, pp. 57-76, 2003, Springer, 3-540-20102-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Phil Bagwell |
Fast Functional Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 34-50, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov |
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 278-294, 2002, Springer, 3-540-43363-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Julien Forest |
A Weak Calculus with Explicit Operators for Pattern Matching and Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 174-191, 2002, Springer, 3-540-43916-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt |
JoCaml: A Language for Concurrent Distributed and Mobile Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Functional Programming ![In: Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures, pp. 129-158, 2002, Springer, 3-540-40132-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Andrei Serjantov, Peter Sewell, Keith Wansbrough |
The UDP Calculus: Rigorous Semantics for Real Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, pp. 535-559, 2001, Springer, 3-540-42736-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Ewen Denney |
The Synthesis of a Java Card Tokenization Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 43-50, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Olivier Danvy, Bernd Grobauer, Morten Rhiger |
A Unifying Approach to Goal-Directed Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAIG ![In: Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings, pp. 108-125, 2001, Springer, 3-540-42558-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Kathleen Fisher, John H. Reppy, Jon G. Riecke |
A Calculus for Compiling and Linking Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 135-149, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Martin Hofmann 0001 |
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 165-179, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Michel Levy |
Prover KT4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings, pp. 31-32, 1998, Springer, 3-540-64406-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #174 of 174 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|